i =  j == (i = j)  (i = (-j)) 

latex

---

clarification:

i =  j == (i = j  )  (i = (-j)  ) 

latex

Up	int 2, int 2
Wellformedness Lemmas	pm equal wf, pm equal wf
Definitions	P  Q, s = t, , -n
FDL editor aliases	pm_equal